Trustworthy Autonomous Systems Through Verifiability
نویسندگان
چکیده
Autonomous systems have the promise to address many of our societal challenges in a variety areas. To realize this potential, these need be trustworthy. We describe research carried out by U.K. consortium central issue establishing trustworthiness: verifiability.
منابع مشابه
ASTRO: Autonomous and Trustworthy Data Sharing
We present ASTRO, a Byzantine fault tolerant data sharing service for mobile computing environments. ASTRO is the first system to support disconnected operation and opportunistic data sharing among potentially Byzantine nodes while continuing to provide precise and useful consistency guarantees to correct nodes. Specifically, ASTRO supports fork-causal consistency, a new consistency semantics t...
متن کاملTrustworthy services through attestation
Remote attestation is a promising mechanism for assurance of distributed systems. It allows users to identify the software running on a remote system before trusting it with an important task. This functionality is arriving at exactly the right time as security-critical systems, such as healthcare and financial services, are increasingly being hosted online. However, attestation has limitations...
متن کاملTrustworthy Self-Integrating Systems
Patients in intensive care often have a dozen or more medical devices and sensors attached to them. Each is a self-contained system that operates in ignorance of the others, and their integrated operation as a system of systems that delivers coherent therapy is performed by doctors and nurses. But we can easily imagine a scenario where the devices recognize each other and self-integrate (perhap...
متن کاملReducing complexity of autonomous control agents for verifiability
The AgentSpeak type of languages are considered for decision making in autonomous control systems. To reduce the complexity and increase the verifiability of decision making, a limited instruction set agent (LISA) is introduced. The new decision method is structurally simpler than its predecessors and easily lends itself to both design time and runtime verification methods. The process of conve...
متن کاملLeakage in Trustworthy Systems
This dissertation presents a survey of the theoretical and practical techniques necessary to provably eliminate side-channel leakage through known mechanisms in component-based secure systems. We cover the state of the art in leakage measures, including both Shannon and min entropy, concluding that Shannon entropy models the observed behaviour of our example systems closely, and can be used to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Computer
سال: 2023
ISSN: ['1558-0814', '0018-9162']
DOI: https://doi.org/10.1109/mc.2022.3192206